Epididymite, M. S. T. et Fertilité

Remmert , S . M . , Banks , S . T .

T F S C M T  G T  F

In this paper, we extend our ideas on model transformations as functors discussed in the previous issue and embed this concept into the framework of graph transformation systems. We show that under certain restrictions of the rules model transformations by graph transformation are functors.

O  M S-o T H

We compare classes of finite relational structures via monadic second-order transductions. More precisely, we study the preorder C ⊑ K : iff C ⊆ τ(K) for some transduction τ. If we only consider classes of incidence structures we can completely describe the resulting hierarchy. It is linear of order type ω + . Each level can be characterised in terms of a suitable variant of tree-width. Canoni...

It S Ervice M Anagement : T Owards

Information Technology Service Management (ITSM) focuses on IT service creation, design, delivery and maintenance. Measurement is one of the basic underlying elements of service science and this paper contributes to service science by focussing on the selection of performance metrics for ITSM. Contingency theory is used to provide a theoretical foundation for the study. Content analysis of inte...

T C C 20 Y  M  M S

Twenty years ago, modal and mixed specifications were proposed as abstract models of system behavior. In this paper, we explain the nature and utility of such specifications, relate them to other formalisms, showcase some of their established applications, and mention some existing tool support. We also present some recent complexity results for decision problems underlying such applications an...